implementation of boolean funcrion using NAND gate only